A Kind of Inference_医网打尽文献搜索 Keywords：dynamic fuzzy logic; inference temporal; dynamic fuzzy sets [gap=276]关键词：动态模糊逻辑; 时序推理模型; 动态模糊集
基于6个网页-相关网页
Temporal logic is a branch of Philosophical logic, which investigates the proposition and inference including time.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
应用推荐